$\forall$${\it es}$:ES, $e$, ${\it e'}$:E. [$e$, ${\it e'}$] $\in$ \{${\it ev}$:E$\mid$ loc(${\it ev}$) $=$ loc(${\it e'}$) $\in$ Id \} List